Autogenerated HTML docs for v1.7.6-345-g5c2f8 
diff --git a/git-rev-list.html b/git-rev-list.html index 6486214..72b16f7 100644 --- a/git-rev-list.html +++ b/git-rev-list.html 
@@ -929,7 +929,7 @@  </dt>   <dd>   <p>  - As the default mode but does not prune some history.  + Same as the default mode, but does not prune some history.   </p>   </dd>   <dt class="hdlist1">